Measure Space
Definition
A measure space is a measurable space with a measure corresponding to the given sigma-algebra.
Explicitly, given a set
is a measure space.